On Local Properties of Unary Algebras
نویسندگان
چکیده
If every finitely generated subalgebra of an algebra A has a property P , then A is said to have P as a local property. In this paper we study classes L(K) and M(K), where K is a class of unary algebras, L(K) consists of all algebras such that every finitely generated subalgebra is in K, and M(K) is the class of all algebras with every monogenic subalgebra in K. In particular, the cases where K is a variety, a generalized variety or a pseudovariety, are considered. It is also shown that the monogenic closure of a variety or a pseudovariety equals the regularization of the class. Finally, we note that some of our central concepts are derived from the theory of finite automata and hence many of the results can be interpreted in that theory. 2000 Mathematics Subject Classification: 08A60, 03C05, 08B99, 68Q70
منابع مشابه
The role of states in triangle algebras
In this paper, we enlarge the language of triangle algebra by addinga unary operation that describes properties of a state. Thesestructure algebras are called state triangle algebra. The vitalproperties of these algebras are given. The notion of state interval-valued residuated lattice (IVRL)-filters are introduced and givesome examples and properties of them are given. ...
متن کاملRecursive Unary Algebras and Trees
Khoussainov, B. Recursive “nary algebras and trees, Annals of Pure and Applied Logic 67 (1994) 213-268. A unary algebra is an algebraic system d = (A,f,, ,L). wheref,, . ,fm are unary operations on A and n EW. In the paper we develop the theory ofeffective “nary algebras. We investigate well-known questions of constructive (recursive) model theory with respect to the class of unary algebras. In...
متن کاملMV-algebras with internal states and probabilistic fuzzy logics
In this paper we enlarge the language of MV-algebras by a unary operation r equationally described so as to preserve the basic properties of a state in its original meaning. The resulting class of algebras will be called MV-algebras with internal state (or SMV-algebras for short). After discussing some basic algebraic properties of SMV-algebras, we apply them to the study of the coherence probl...
متن کاملSequential Automatic Algebras
A sequential automatic algebra is a structure of the type (A; f1, . . . , fn), where A is recognised by a finite automaton, and functions f1, . . . , fn are total operations on A that are computed by inputoutput automata. Our input-output automata are variations of Mealy automata. We study some of the fundamental properties of these algebras and provide many examples. We give classification res...
متن کاملOn varieties of semigroups and unary algebras∗†
The elementary result of Variety theory is Eilenberg’s Variety theorem which was motivated by characterizations of several families of string languages by syntactic monoids or semigroups, such as Schützenberger’s theorem connecting star-free languages and aperiodic monoids. Eilenberg’s theorem has been extended in various directions. For example, Thérien involved varieties of congruences on fre...
متن کامل